2 00 3 Uniform chains of small transfinite rank
نویسنده
چکیده
We extend F.Pastjin's construction of uniform decomposable chains of finite rank to those of rank 'finite over a limit' and investigate infinite (length ω) products and unions of such chains. We derive an extension of Pastjin's characterisation to uniform decomposable chains of small transfinite rank (≤ ω + ω).
منابع مشابه
Justifying induction on modal μ-formulae
We define a rank function rk, mapping modal μ-formulae on ordinals below ω such that rk(μx.φ) > rk(φ(x)) for n ∈ N, with φ(x) ≡ x and φ(x) ≡ φ[x/φ(x)], and rk(φ) > rk(ψ) for all proper subformulae ψ of φ. The corresponding induction on formulae is thus justified by transfinite induction on ω. We then show that ω is the least such ordinal. Further, we give an algorithm to compute rk(φ) by primit...
متن کاملNonstandard Transfinite Digraphs
Nonstandard digraphs and transfinite digraphs have been defined and examined in two prior technical reports. The present work examines digraphs that are both nonstandard and transfinite. This requires a combination in certain ways of the techniques used in the prior two works. We first construct herein nonstandard transfinite digraphs for all the naturalnumber ranks. Then, a special kind of non...
متن کامل2 4 M ar 2 00 7 On the hierarchies of universal predicates
We investigate a hierarchy of arithmetical structures obtained by transfinite addition of a canonic universal predicate, where the canonic universal predicate for M is defined as a minimum universal predicate for M in terms of definability. We determine the upper bound of the hierarchy and give a characterisation for the sets definable in the hierarchy.
متن کاملM ar 2 00 9 On the Jacobian of the harmonic moment map
In this paper we represent harmonic moments in the language of transfinite functions, that is projective limits of polynomials in infinitely many variables. We obtain also an explicit formula for the Jacobian of a generalized harmonic moment map. Mathematics Subject Classification (2000). 13B35; 30E05; 47A57.
متن کاملAxiomatic Set Theory
Lecture 1, 07.03.: We made a review of the material covered in Chapter I of [3], up to Theorem I.9.11 (Transfinite Recursion on Well-founded Relations). Lecture 2, 14.03.: We discussed the notion of a rank, as well as the Mostowski collapsing function material corresponding to Section 9 of [3]. Lecture 3, 04.04.: We discussed hereditarily transitive sets, the DownwardLöwenheim-Skolem-Tarksi The...
متن کامل